- 双语例句 更多例句
1、
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
2、
- 相关词组
- king of the hill山丘之王;占山为王;一家之主;山大王;占山为王模式
- neglect of疏忽;对...的疏忽
- axis of symmetry对称轴;
- veins of upper eyelid上睑静脉
- The Family of Man人类大家庭;人类一家
- axis of rotation转动轴;旋转轴;自转轴;
- mineralization of nitrogen氮素矿化
- set of seals密封组件
- average length of life平均寿命;
- at the word of command一声令下;一听到命令声
- mineralization of U-Ti type铀-钛型矿化
- veins of medulla oblongata延髓静脉
- audit of financial statements财务报表审计;
- axis of projection射影轴;投影轴
- set of reception sidings到达线群
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- mineralization of U-Hg type铀-汞型矿化
- axial moment of inertia轴向惯性矩;
- set of rolls全套轧辊
- The Secrets of a Sensuous Nurse诱人女护士
- 今日热词
- 热门搜索
- optional adj.可选择的，非强制的;
- confidence level 置信水平；（数值）可信度
- pig n.猪;猪肉;令人不快（或讨厌）的人;金属块（锭）;v.使贪婪地吃;使拼命大吃;
- proof n.证据;证明;检验;证实;求证;验算;校样;（酒的）标准酒精度adj.防/抗…的;能抵御;能防范;可防护;
- lamer adj.瘸的( lame的比较级 );站不住脚的;差劲的;蹩脚的;
- furnished adj.家具，有家具的;v.陈设，布置( furnish的过去式和过去分词);提供，装备;
- relieve vt.解除;缓解;换班;（去厕所的一种委婉说法）方便;
- scrape vt.擦，刮;擦去;擦伤，刮破;挖空;vi.刮，擦;搔，抓;掏;发出刺耳的声音;
- guidance n.指导;导航;
- fright n.恐怖;惊吓;可怕的东西，难看的人;
- carpet n.地毯;覆盖地表的一层东西;v.给…铺地毯;完全覆盖;
- h n. 英语字母表的第8个字母;大写为Hsymb.氢（化学元素）
